TSTP Solution File: SEV029^5 by CARINE---0.734